Homotopy 2-Types of Low Order

نویسندگان

  • Graham Ellis
  • Le Van Luyen
چکیده

There is a well-known equivalence between the homotopy types of connected CW-spaces X with πnX=0 for n 6= 1, 2 and the quasi-isomorphism classes of crossed modules ∂ : M → P [16]. When the homotopy groups π1X and π2X are finite one can represent the homotopy type of X by a crossed module in which M and P are finite groups. We define the order of such a crossed module to be |∂| = |M | × |P |, and the order of a quasi-isomorphism class of crossed modules to be the least order of any crossed module in the class. We then define the order of a homotopy 2-type X to be the order of the corresponding quasiisomorphism class of crossed modules. In this paper we describe a computer implementation that inputs a finite crossed module of reasonably small order and returns a quasi-isomorphic crossed module of least order. Underlying the function is a catalogue of all quasi-isomorphism classes of order m ≤ 127,m 6= 32, 64, 81, 96 and a catalogue of all isomorphism classes of crossed modules of order m ≤ 255.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Numerical Solution of the Controlled Harmonic Oscillator by Homotopy Perturbation Method

‎The controlled harmonic oscillator with retarded damping‎, ‎is an important class of optimal control problems which has an important role in oscillating phenomena in nonlinear engineering systems‎. ‎In this paper‎, ‎to solve this problem‎, ‎we presented an analytical method‎. ‎This approach is based on the homotopy perturbation method‎. ‎The solution procedure becomes easier‎, ‎simpler and mor...

متن کامل

On Homotopy Types of Limits of Semi-algebraic Sets and Additive Complexity of Polynomials

We prove that the number of homotopy types of limits of oneparameter semi-algebraic families of closed and bounded semi-algebraic sets is bounded singly exponentially in the additive complexity of any quantifierfree first order formula defining the family. As an important consequence, we derive that the number of homotopy types of semi-algebraic subsets of R defined by a quantifier-free first o...

متن کامل

Numerical solution of seven-order Sawada-Kotara equations by homotopy perturbation method

In this paper, an application of homotopy perturbation method is appliedto nding the solutions of the seven-order Sawada-Kotera (sSK) and a Lax'sseven-order KdV (LsKdV) equations. Then obtain the exact solitary-wave so-lutions and numerical solutions of the sSK and LsKdV equations for the initialconditions. The numerical solutions are compared with the known analyticalsolutions. Their remarkabl...

متن کامل

A NEW MODIFIED HOMOTOPY PERTURBATION METHOD FOR SOLVING LINEAR SECOND-ORDER FREDHOLM INTEGRO-DIFFERENTIAL EQUATIONS

In this paper, we tried to accelerate the rate of convergence in solving second-order Fredholm type Integro-differential equations using a new method which is based on Improved homotopy perturbation method (IHPM) and applying accelerating parameters. This method is very simple and the result is obtained very fast.  

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Experimental Mathematics

دوره 23  شماره 

صفحات  -

تاریخ انتشار 2014